Chronic Nicotine Selectively Enhances α4β2* Nicotinic Acetylcholine Receptors in the Nigrostriatal Dopamine Pathway

These electrophysiological experiments, in slices and intact animals, study the effects of in vivo chronic exposure to nicotine on functional α4β2* nAChRs in the nigrostriatal dopaminergic (DA) pathway. Recordings were made in wild-type and α4 nicotinic acetylcholine receptor (nAChR) subunit knock-out mice. Chronic nicotine enhanced methyllycaconitine citrate hydrate-resistant, dihydro-β-erythroidine hydrobromide-sensitive nicotinic currents elicited by 3–1000 µM ACh in GABAergic neurons of the substantia nigra pars reticulata (SNr), but not in DA neurons of the substantia nigra pars compacta (SNc). This enhancement leads to higher firing rates of SNr GABAergic neurons and consequently to increased GABAergic inhibition of the SNc DA neurons. In the dorsal striatum, functional α4* nAChRs were not found on the neuronal somata; however, nicotine acts via α4β2* nAChRs in the DA terminals to modulate glutamate release onto the medium spiny neurons. Chronic nicotine also increased the number and/or function of these α4β2* nAChRs. These data suggest that in nigrostriatal DA pathway, chronic nicotine enhancement of α4β2* nAChRs displays selectivity in cell type and in nAChR subtype as well as in cellular compartment. These selective events augment inhibition of SNc DA neurons by SNr GABAergic neurons and also temper the release of glutamate in the dorsal striatum. The effects may reduce the risk of excitotoxicity in SNc DA neurons and may also counteract the increased effectiveness of corticostriatal glutamatergic inputs during degeneration of the DA system. These processes may contribute to the inverse correlation between tobacco use and Parkinson's disease

Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models

Emerging non-volatile memory (NVM) technologies promise the durability of disks with the performance of volatile memory (RAM). To describe the persistency guarantees of NVM, several memory persistency models have been proposed in the literature. However, the formal persistency semantics of mainstream hardware is unexplored to date. To close this gap, we present a formal declarative framework for describing concurrency models in the NVM context, and then develop the PARMv8 persistency model as an instance of our framework, formalising the persistency semantics of the ARMv8 architecture for the first time. To facilitate correct persistent programming, we study transactions as a simple abstraction for concurrency and persistency control. We thus develop the PSER (persistent serialisability) persistency model, formalising transactional semantics in the NVM context for the first time, and demonstrate that PSER correctly compiles to PARMv8. This then enables programmers to write correct, concurrent and persistent programs, without having to understand the low-level architecture-specific persistency semantics of the underlying hardware

Visual BFI: an Exploratory Study for Image-based Personality Test

This paper positions and explores the topic of image-based personality test. Instead of responding to text-based questions, the subjects will be provided a set of "choose-your-favorite-image" visual questions. With the image options of each question belonging to the same concept, the subjects' personality traits are estimated by observing their preferences of images under several unique concepts. The solution to design such an image-based personality test consists of concept-question identification and image-option selection. We have presented a preliminary framework to regularize these two steps in this exploratory study. A demo version of the designed image-based personality test is available at http://www.visualbfi.org/. Subjective as well as objective evaluations have demonstrated the feasibility of image-based personality test in limited questions

Persistency semantics of the Intel-x86 architecture

Emerging non-volatile memory (NVM) technologies promise the durability of disks with the performance of RAM. To describe the persistency guarantees of NVM, several memory persistency models have been proposed in the literature. However, the persistency semantics of the ubiquitous x86 architecture remains unexplored to date. To close this gap, we develop the Px86 (‘persistent x86’) model, formalising the persistency semantics of Intel-x86 for the first time. We formulate Px86 both operationally and declaratively, and prove that the two characterisations are equivalent. To demonstrate the application of Px86, we develop two persistent libraries over Px86: a persistent transactional library, and a persistent variant of the Michael–Scott queue. Finally, we encode our declarative Px86 model in Alloy and use it to generate persistency litmus tests automatically

Audio compression using transforms and high order entropy encoding

Digital audio is required to transmit large sizes of audio information through the most common communication systems; in turn this leads to more challenges in both storage and archieving. In this paper, an efficient audio compressive scheme is proposed, it depends on combined transform coding scheme; it is consist of i) bi-orthogonal (tab 9/7) wavelet transform to decompose the audio signal into low & multi high sub-bands, ii) then the produced sub-bands passed through DCT to de-correlate the signal, iii) the product of the combined transform stage is passed through progressive hierarchical quantization, then traditional run-length encoding (RLE), iv) and finally LZW coding to generate the output mate bitstream. The measures Peak signal-to-noise ratio (PSNR) and compression ratio (CR) were used to conduct a comparative analysis for the performance of the whole system. Many audio test samples were utilized to test the performance behavior; the used samples have various sizes and vary in features. The simulation results appear the efficiency of these combined transforms when using LZW within the domain of data compression. The compression results are encouraging and show a remarkable reduction in audio file size with good fidelity

Cardiovascular magnetic resonance in pulmonary hypertension

Pulmonary hypertension represents a group of conditions characterized by higher than normal pulmonary artery pressures. Despite improved treatments, outcomes in many instances remain poor. In recent years, there has been growing interest in the use of Cardiovascular Magnetic Resonance (CMR) in patients with pulmonary hypertension. This technique offers certain advantages over other imaging modalities since it is well suited to the assessment of the right ventricle and the proximal pulmonary arteries. Reflecting the relatively sparse evidence supporting its use, CMR is not routinely recommended for patients with pulmonary hypertension. However, it is particularly useful in patient with pulmonary arterial hypertension associated with congenital heart disease. Furthermore, it has proven informative in a number of ways; illustrating how right ventricular remodeling is favorably reversed by drug therapies and providing explicit confirmation of the importance of the right ventricle to clinical outcome. This review will discuss these aspects and practical considerations before speculating on future applications

View-based Owicki-Gries reasoning for persistent x86-TSO

The rise of persistent memory is disrupting computing to its core. Our work aims to help programmers navigate this brave new world by providing a program logic for reasoning about x86 code that uses low-level operations such as memory accesses and fences, as well as persistency primitives such as flushes. Our logic, Pierogi, benefits from a simple underlying operational semantics based on views, is able to handle optimised flush operations, and is mechanised in the Isabelle/HOL proof assistant. We detail the proof rules of Pierogi and prove them sound. We also show how Pierogi can be used to reason about a range of challenging single- and multi-threaded persistent program

Magnetic resonance volume flow and jet velocity mapping in aortic coarctation

AbstractObjectives. Nuclear magnetic resonance (MRI) velocity mapping was used to characterize flow waveforms and to measure volume flow in the ascending and descending thoracic aorta in patients with aortic coarctation and in healthy volunteers. We present the method and discuss the relation between these measurements and aortic narrowing assessed by MRI. Finally, we compare coarctation jet velocity measured by MRI velocity mapping with that obtained from continuous wave Doppler echocardiography.Background. The development of a noninvasive imaging method for morphologic visuslization of aortic coarctation and for measurement of its impact on blood flow is highly desirable in the preoperative and postoperative management of patients.Methods. Magnetic resonance imaging phase-shift velocity mapping was used to measure ascending and descending aortic volume flow in 39 patients with aortic coarctation and in 12 healthy volunteers. Magnetic resonance imaging was also used for anatomic and peak jet velocity measurements. The latter were compared with those available from continuous wave Doppler study in 40% of the patients.Results. Whereas ascending aortic volume flow measurement did not show significant differences between the patient and healthy control groups, volume flow curves in the descending aorta did show significant differences between the two groups. Peak volume flow (mean ± SD) was 10.6 ± 5.3 liters/min in patients and 19.6 ± 4.7 liters/min in control subjects (p < 0.001). Time-averaged flow was 2.5 ± 0.9 liters/min in patients and 3.9 ±1.1 liters/min in control subjects (p < 0.05). The descending/ ascending aorta flow ratio was 0.47 ± 0.19 in patients and 0.64 ±0.08 in control subjects (p < 0.05). These variables correlate well with the degree of aortic narrowing. Peak coarctation jet velocity measured by MRI velocity mapping is comparable to that obtained from continuous wave Doppler study (r = 0.95).Conclusions. We established normal ranges for volume flow in the descending aorta and demonstrated abnormalities in patients with aortic coarctation. These abnormalities are likely to be related to resistance to flow imposed by the coarctation and could represent an additional index for monitoring patients before and after intervention

Taxonomy and structure of the Romanian personality lexicon

We identified 1746 personality-relevant trait-adjectives in a Romanian dictionary, of which 412 were classified as descriptors of dispositions by 10 judges. Self-ratings were collected from 515 participants on those 412 adjectives, and the ratings were factored using principal components analysis. Solutions with different numbers of factors were analysed. The two- and three-factor solutions, respectively, confirmed the Big Two and Big Three of personality traits. A five-factor solution reflected the Big Five model with a fifth factor emphasising Rebelliousness versus Conventionality. The five-factor solution was related to the International Personality Item Pool-Big Five scales, and the highest correlations were indeed between the corresponding factors and scales. A six-factor solution was indicative of the six-factor model as expressed in the HEXACO model, yet with a weak Honesty-Humility factor. Additional analysis with self-ratings from 218 participants on marker-scales for the six-factor solution and on the six scales of the HEXACO did not produce a clear one-to-one correspondence between the two sets of scales, confirming indeed that the six-factor model was only partially found